Symmetry Reduction of Partially Symmetric Systems
نویسندگان
چکیده
Previous research into symmetry reduction techniques have shown them to be successful in combatting the state-space explosion problem. We provide a brief overview of a fully automated technique for the application of symmetry reduction to partially symmetric systems.
منابع مشابه
Numerical Analysis of Stability for Temporal Bright Solitons in a PT-Symmetric NLDC
PT-Symmetry is one of the interesting topics in quantum mechanics and optics. One of the demonstration of PT-Symmetric effects in optics is appeared in the nonlinear directional coupler (NLDC). In the paper we numerically investigate the stability of temporal bright solitons propagate in a PT-Symmetric NLDC by considering gain in bar and loss in cross. By using the analytical solutions of pertu...
متن کاملOn the Wigner distribution moments of rotationally symmetric, partially coherent light
The Wigner distribution of rotationally symmetric partially coherent light is considered and the constraints for its moments are derived. While all odd– order moments vanish, these constraints lead to a drastic reduction in the number of parameters that we need to describe all even–order moments: whereas in general we have (N + 1)(N + 2)(N + 3)/6 different moments of order N , this number reduc...
متن کاملFrom Asymmetry to Full Symmetry: New Techniques for Symmetry Reduction in Model Checking
It is often the case that systems are “nearly symmetric”; they exhibit symmetry in a part of their description but are, nevertheless, globally asymmetric. We formalize several notions of near symmetry and show how to obtain the benefits of symmetry reduction when applied to asymmetric systems which are nearly symmetric. We show that for some nearly symmetric systems it is possible to perform sy...
متن کاملSymmetry classes of polynomials associated with the dihedral group
In this paper, we obtain the dimensions of symmetry classes of polynomials associated with the irreducible characters of the dihedral group as a subgroup of the full symmetric group. Then we discuss the existence of o-basis of these classes.
متن کاملMoments of the Wigner distribution of rotationally symmetric partially coherent light.
The Wigner distribution of rotationally symmetric partially coherent light is considered, and the constraints for its moments are derived. Although all odd-order moments vanish, these constraints lead to a drastic reduction in the number of parameters that we need to describe all even-order moments: whereas in general we have (N + 1)(N + 2)(N + 3)/6 different moments of order N, this number red...
متن کامل